xen/arm: Don't allow dom0 to access to vpl011 UART0 memory range
authorJulien Grall <julien.grall@linaro.org>
Fri, 10 May 2013 02:17:48 +0000 (03:17 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 10 May 2013 13:17:05 +0000 (14:17 +0100)
commit0232cd2443b6bd3c7d3702ece51109207dd6bd1d
tree1e0883e9292df3acc0157d033e4f388eabd7e218
parent1f5bee6af4a7d38990cd7c139bf79c1c213cfe74
xen/arm: Don't allow dom0 to access to vpl011 UART0 memory range

As vpl011 UART is not initialized for dom 0, when the domain tries to access to
this range, a segfault will occur in Xen. The right behaviour should be a data
abort for the guest.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vpl011.c